Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
321	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
322	On Paging with Locality of Reference Susanne Albers Lene M. Favrholdty Oliver Gielz Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:04:07 Virtual memory Online algorithms Software Algorithm Mathematical logic Theoretical computer science Mathematics Paging Applied mathematics Page replacement algorithm
323	FUZZY LOGIC BASED PREDICTION OF GEOGRAPHICAL SUITABILITY FOR WIND POWER GENERATION IN DOTSPATIAL Teva ~ Veluppillai Idaho Sate University Add to Reading List Source URL: www.mapwindow.org Language: English - Date: 2011-06-30 13:29:34 Energy Artificial intelligence Fuzzy logic Logic in computer science Non-classical logic Electrical engineering Wind turbine Wind Meteorology
324	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
325	doi:j.tics Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:58:57 Cognition Cognitive science Linguistics Grammar Critical thinking Generative linguistics Grammaticality Philosophy of logic Bias Psycholinguistics Syntax Language
326	Ramsey Classes by Partite Construction II Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2015-07-25 03:57:12 Mathematics Algebraic structures Model theory Mathematical logic Universal algebra Ramsey theory Structure Ramsey class FO Semigroup Lattice
327	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
328	The following excerpt is from Volume II of Talks given by John W. Doorly at the OXFORD SUMMER SCHOOL-1949 The Nature of a Christian Science Treatment Someone has asked me, "How can I use Science?" Well, the fact is that Add to Reading List Source URL: www.mbeinstitute.org Language: English - Date: 2014-05-01 09:21:18 Philosophy Religion Epistemology Meaning Philosophical logic Political philosophy Truth Humility Religious views on love God Christian Science A Treatise Concerning the Principles of Human Knowledge
329	Microsoft Word - ICMR-06 Months-Report From IF Add to Reading List Source URL: www.icmr.nic.in Language: English - Date: 2014-09-19 07:33:29 Statistics Science Logic Statistical theory Philosophy of science Statistical inference Inductive reasoning Graphical models Causal inference Agent-based model Bayesian inference Causality
330	Fluxplayer: A Successful General Game Player Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology {stephan.schiffel,mit}@inf.tu-dresden.de Add to Reading List Source URL: ggp.stanford.edu Language: English - Date: 2009-04-21 15:13:54 Game artificial intelligence Mathematics Gaming Mathematical logic Eval Mathematical optimization Game Description Language Function FO Computer chess

UPDATE